<style type="text/css">
body {
    font-size: 90%;
    font-family: verdana, arial, sans-serif;
}

tt, code, pre, .type {
    font-family: andale mono, courier new, courier, monospace;
    font-size: 90%;
}

pre {
    color: #0000aa;
}

ul li p {
    margin: 0;
    padding: 0;
}

div#toc {
    float: left;
    margin: 0;
    padding: 0;
    padding-top: 0.5em;
    border: 0;
    width: 16em;

    background-color: #f9f9f9;
    margin-right:1em;
}

div#toc ul {
    list-style: none;
    padding: 0;
    margin: 0;
}

div#toc a{
    text-decoration: none;
    color: #0000aa;
}

div#toc li.level2 a{
    padding-left: 0.5em;
}

div#toc li.level3 a
{
    font-weight: normal;
    padding-left: 2em;
}

div#toc a:visited {
    color: #0000aa;
}

div#toc a:hover {
    background-color: #f9f9aa;
}


div#content {
    margin: 0;
    padding: 0;

    /* won't match if font is smaller in toc */
    border-left: 16em solid #f9f9f9;
    padding-left: 1em;
}

div.title, caption.title {
    font-weight:bold;
}
dt {
    color:navy;
    margin-top:0.5em;
}

div.admonitionblock {
  margin-top: 1.0em;
  margin-bottom: 1.5em;
}
div.admonitionblock {
  margin-top: 2.0em;
  margin-bottom: 2.0em;
  margin-right: 10%;
  color: #606060;
}
div.admonitionblock .icon {
  vertical-align: top;
  font-weight: bold;
  text-decoration: underline;
  color: #527bbd;
  padding-right: 0.5em;
}
div.admonitionblock td.content {
  padding-left: 0.5em;
  border-left: 3px solid #dddddd;
}
</style>